; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -passes=jump-threading -S < %s | FileCheck %s
; PR3138

; Check that there's a ret 0
define i32 @jt() {
; CHECK-LABEL: @jt(
; CHECK-NEXT:  bb3:
; CHECK-NEXT:    ret i32 0
;
entry:
  br i1 true, label %bb3, label %bb

bb:             ; preds = %entry
  unreachable

bb3:            ; preds = %entry
  ret i32 0
}
